Journal
Scientific and Technical Journal of Information Technologies, Mechanics and Optics
UDK50.41.17
Issue:4 (134)
Download PDF0 Kbyte
An automata-based programming engine
Annotation
Automata-based programming considers program systems construction as finite state machines that demonstrate state-based behavior. This paper analyzes approaches to data structures and their realization in different programming paradigms. The requirements for automata style implementations are estimated for actual tasks. It is shown that automata-based algorithms need approaches beyond the standard object-oriented inheritance and polymorphism. The Liskov substitution principle is considered as an implementation base instead them. Data-oriented programming approach and in particular data and code separation form the backbone of the engine. The work describes the automata data structure and code-data interaction. The dynamically loaded modules and representations of data, code and schemes provide the main building blocks. Automata-based programming engine conception is introduced to clue all above. This engine supports distributed systems referencing. In order to implement an automata-based programming engine, the pilot project has to meet a set of requirements, including modular programming support, extended metadata availability and code-free read-only data access. Oberon/Component Pascal programming language is therefore chosen, along with a BlackBox Component Builder graphical environment. Automata-based programming engine prototype is implemented as Abpe subsystem for BlackBox. Several example automata-based modules demonstrate functional interacting programs.
Keywords
Постоянный URL
Articles in current issue
- On the feasibility of the monostatic scheme for constructing the land-based telescope at supervision of space objects
- DREM procedure application for piecewise constant parameters identification
- Features of the morphology of micro- and nanoporous copper and silver films synthesized by substitution reaction for photocatalytic application.
- Nature-inspired metaheuristic scheduling algorithms in cloud: a systematic review
- Evaluation of the applicability of asynchronous programming methods to the data consistency problem in a microservices environment
- A factor model for detection and recognition of human face contours and elements
- A study of the stability of information and telecommunication networks under conditions of stochastic percolation of nodes
- Context-free path querying with all-path semantics using matrices with sets of intermediate vertices.
- Decision support system for the proton therapy implementation
- Determination of dangerous driving behavior based on the use of information from wearable electronic devices
- Bayesian losses for homoscedastic aleatoric uncertainty modeling in pollen image detection
- The speech synthesis detection algorithm based on cepstral coefficients and convolutional neural network
- Risk assessment methodology for information systems, based on the user behavior and IT-security incidents analysis
- Identification of user accounts by image comparison: the pHash-based approach
- A study of human motion in computer vision systems based on a skeletal model
- Solution of super- and hypersonic gas dynamic problems with a model of high-temperature air
- Modeling security violation processes in machine learning systems
- Mathematical modeling of an optimal oncotherapy for malignant tumors.
- A numerical study of the expansion of a gas-particles mixture with axial symmetry.
- The study of the birefrigence modulator based on lithium niobate